proof compression造句

例句与造句

1. A proof compression algorithm will try to create a new DAG with fewer nodes that represents a valid proof of \ kappa or, in some cases, a valid proof of a subset of \ kappa.
2. Since the proofs generated by automated theorem provers are typically very large, the problem of proof compression is crucial and various techniques aiming at making the prover's output smaller, and consequently more easily understandable and checkable, have been developed.
3. It's difficult to find proof compression in a sentence. 用proof compression造句挺难的